Object Initialization

Integer

• Syntax:

  OBJ object_name : Integer := {: value <- [integer_number] :};
  

• Description:

  Initializes an integer number.

  Example:

  OBJ i : Integer := {: value <- 3 :};
  

Real

• Syntax:

  OBJ object_name : Real := {: value <- [real_number] :};
  

• Description:

  Initializes a real number.

  Example:

  OBJ o : Real := {: value <- 3.1415926 :};
  

Record

• Syntax:

  TYPE type_name "A type" = RECORD
  {
    record_element1 : Type1;
    ...
    record_elementN : TypeN;
  };
  
  OBJ object_name : type_name:=
  {:
     record_element1 <- Type1_Expression;
     ...
     record_elementN <- TypeN_Expression;
  :};
  

• Description:

  Initializes a record structure.

  Example 1:

  TYPE PhysicalQuantityType "The type of any physical quantity" =
  RECORD
  {
    Quantity : QuantityType;
    Unit : String;
  };
  
  OBJ Length : PhysicalQuantityType :=
  {:
    Quantity <- "meter";
    Unit <- "m";
  :};
  

  Example 2:

  TYPE RecType "" = RECORD
  {
    Value : Real;
  };
  
  OBJ r : RecType := {: Value <- 2 :};
  

Vector

• Syntax:

  OBJ object_name  : Type[n;] :=
    [{: value <- Num_1 :},{: value <- Num_2 :},...,{: value <- Num_n :};];
  
  OBJ OBJ_Name : Type[n;][m;] :=
    [[{: value <- Num_1_1 :},{: value <- Num_1_2 :},...,{: value <- Num_1_m :}],
     [{: value <- Num_2_1 :},{: value <- Num_2_2 :},...,{: value <- Num_2_m :}],
     ...,
     [{: value <- Num_n_1 :},{: value <- Num_n_2 :},...,{: value <- Num_n_m :}]];
  

• Description:

  Initializes a vector or matrix.

  Example 1:

  OBJ v : Real[4;] :=
    [{: value <- 90 :},{: value <- 9.0 :},{: value <- -10.0 :},{: value <- -2.3 :};];
  

  Example 2:

  OBJ m : Real[4;][3;] :=
    [[{: value <- 0       :},{: value <- -8.78   :},{: value <- 1.8   :}],
     [{: value <- -35.86  :},{: value <- 6       :},{: value <- 18.14 :}],
     [{: value <- -3.6    :},{: value <- 6       :},{: value <- 114   :}],
     [{: value <- 9224.86 :},{: value <- -154.94 :},{: value <- 3.0   :}]];
  

  Note: The number of elements in the object assignment must be the same as the dimension of the object.